1. Algebraic Logic and Universal Algebra in Computer Science Conference, Ames, Iowa, USA, June 1-4, 1988 Proceedings
Author: Algebraic Logic and Universal Algebra in Computer Science Conference )8891 :Ames, Iowa(, C.H. Bergman, R.D. Maddux, D.L. Pigozzi )eds.(
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Algebraic logic- Congresses,، Algebra, Universal- Congresses
Classification :
QA
10
.
A45
1990
2. Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings
Author: Workshop on Computer Science Logic, )4th, 0991, Heidelberg, Germany(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science - Congresses,، Logic, Symbolic and mathematical - Congresses
Classification :
QA
75
.
5
.
W624
1990
3. Deontic logic, agency and normative systems
Author: DEON '96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11-13 January 1996. Mark A. Brown and José Carmo (ed.). Publ. in collab. with the British Computer Society
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Deontische Logik,Informatik,Normative Logik
4. Proceedings
Author: Symposium on Logic in Computer Science )4th: 9891: Asilomar Conference Center, Pacific Grove, California(
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Electronic data processing- Mathematics- Congresses,، Logic, Symbolic and mathematical- Congresses
Classification :
QA
76
.
9
.
M35
S94
1989
5. Proceedings
Author: Algebraic Logic and Universal Algebra in Computer Science Conference, Ames, Iowa, USA, June 1-4, 1988 ; C.H. Bergman, R.D. Maddux, D.L. Pigozzi )eds.(,Title
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Algebraic logic - Congresses,Algebra, Universal - Congresses
Classification :
QA
.
A45
10
1988
6. Proceedings
Author: Algebraic Logic and Universal Algebra in Computer Science Conference, )8891, Ames, Iowa(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Algebraic logic-- Congresses,، Algebra, Universal-- Congresses
Classification :
QA
10
.
A45
1988
